1. Applied formal methods
پدیدآورنده: / Dieter Hutter... [et al.], (eds.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Formal methods (Computer science)--Congresses
2. Applied formal methods--FM Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : proceedings
پدیدآورنده: Dieter Hutter...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1641
3. Security in pervasive computing : First International Conference, Boppard, Germany, March 12-14, 2003 : revised papers
پدیدآورنده: Dieter Hutter...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Ubiquitous computing,Congresses ، Computer security
رده :
QA
76
.
L28
Vol
.
2802
